2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addToStringDefinition,#,616
In pattern: SUPERPATTERN
Frequency: 4
Non-data size: 8
Instances
1469964170
dominik_hansen@web.de
bendisposto/probparsers,2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addToStringDefinition,#,616
1469964170
dominik_hansen@web.de
bendisposto/probparsers,2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addChooseDefinition,#,632
1469964170
dominik_hansen@web.de
bendisposto/probparsers,2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addChooseDefinition,#,632
1469964170
dominik_hansen@web.de
bendisposto/probparsers,2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addToStringDefinition,#,616